<?php

if ( is_category(array(12,13,14,15)) ) {

include(TEMPLATEPATH . '/article_list.php');

}

else {

include(TEMPLATEPATH . '/thumb_list.php');

}

?>